Michael Hanus: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Assessing the effects of gamification in the classroom: A longitudinal study on intrinsic motivation, social comparison, satisfaction, effort, and academic performance

Hanus, Michael D., Fox, Jesse

Journal:

Computers & Education

Year:

2015

Language:

english

File:

PDF, 924 KB

english, 2015

2

The integration of functions into logic programming: From theory to practice

Journal:

The Journal of Logic Programming

Year:

1994

Language:

english

File:

PDF, 3.52 MB

english, 1994

3

Comparing Virtual Reality Tourism to Real-Life Experience: Effects of Presence and Engagement on Attitude and Enjoyment

Wagler, Adam, Hanus, Michael D.

Journal:

Communication Research Reports

Year:

2018

Language:

english

File:

PDF, 456 KB

english, 2018

4

Functional logic programming

Antoy, Sergio, Hanus, Michael

Journal:

Communications of the ACM

Year:

2010

Language:

english

File:

PDF, 1014 KB

english, 2010

5

Default rules for Curry

ANTOY, SERGIO, HANUS, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 337 KB

english, 2017

6

Spontaneous Altruism by Chimpanzees and Young Children

Warneken, Felix, Hare, Brian, Melis, Alicia P., Hanus, Daniel, Tomasello, Michael

Journal:

Year:

2007

Language:

english

File:

PDF, 241 KB

english, 2007

7

Distinguishing User Experience When Customizing in a User-Generated Content Advertising Campaign and Subsequent Effects on Product Attitudes, Reactance, and Source Credibility

Hanus, Michael D.

Journal:

Journal of Interactive Advertising

Year:

2018

Language:

english

File:

PDF, 452 KB

english, 2018

8

Social Comparisons and Need Fulfillment: Interpreting Video Game Enjoyment in the Context of Leaderboards

Velez, John A., Ewoldsen, David R., Hanus, Michael D., Song, Hyunjin, Villarreal, Jonathan A.

Journal:

Communication Research Reports

Year:

2018

Language:

english

File:

PDF, 573 KB

english, 2018

9

Analysis of residuating logic programs

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 2.09 MB

english, 1995

10

Corrigendum to Assessing the Effects of Gamification in the Classroom: A Longitudinal Study on Intrinsic Motivation, Social Comparison, Satisfaction, Effort, and Academic Performance Computers & Education 80 (2015) Pages 152-161

Hanus, Michael D., Fox, Jesse

Journal:

Computers & Education

Year:

2018

Language:

english

File:

PDF, 247 KB

english, 2018

11

Operational semantics for declarative multi-paradigm languages

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Journal:

Journal of Symbolic Computation

Year:

2005

Language:

english

File:

PDF, 414 KB

english, 2005

12

Persuasive Avatars: The Effects of customizing a virtual salesperson's appearance on brand liking and purchase intentions

Hanus, Michael D., Fox, Jesse

Journal:

International Journal of Human-Computer Studies

Year:

2015

Language:

english

File:

PDF, 538 KB

english, 2015

13

Integration of functional and logic programming

Hanus, Michael, Kuchen, Herbert

Journal:

ACM Computing Surveys

Year:

1996

Language:

english

File:

PDF, 200 KB

english, 1996

14

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Proof net semantics of proof search computation

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.12 MB

english, 1997

15

The need to achieve: Players' perceptions and uses of extrinsic meta-game reward systems for video game consoles

Cruz, Carlos, Hanus, Michael D., Fox, Jesse

Journal:

Computers in Human Behavior

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

16

Thermo-optical and thermo-analytical investigations of gypsum (calcium sulfate-water)

Hanus G. Wiedeman, Michael Rössler

Journal:

Thermochimica Acta

Year:

1985

Language:

english

File:

PDF, 670 KB

english, 1985

17

Studies of a membrane aerated bioreactor for wastewater treatment

Michael Semmens, Denise Hanus

Journal:

Membrane Technology

Year:

1999

Language:

english

File:

PDF, 682 KB

english, 1999

18

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parallelizing functional programs by generalization

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 968 KB

english, 1997

19

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Set functions for functional logic programming

Antoy, Sergio, Hanus, Michael

Year:

2009

Language:

english

File:

PDF, 403 KB

english, 2009

20

[ACM Press the 10th international ACM SIGPLAN symposium - Valencia, Spain (2008.07.15-2008.07.17)] Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '08 - Call pattern analysis for functional logic programs

Year:

2008

Language:

english

File:

PDF, 396 KB

english, 2008

21

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Parameterised higher-order algebraic specifications

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.43 MB

english, 1997

22

Chimpanzees use observed temporal directionality to learn novel causal relations

Tennie, Claudio, Völter, Christoph J., Vonau, Victoria, Hanus, Daniel, Call, Josep, Tomasello, Michael

Journal:

Year:

2019

File:

PDF, 930 KB

2019

23

Combined loading of a bridge deck reinforced with a structural FRP stay-in-place form

Joseph P. Hanus, Lawrence C. Bank, Michael G. Oliva

Journal:

Construction and Building Materials

Year:

2009

Language:

english

File:

PDF, 858 KB

english, 2009

24

Constructing a bidirectional transformation between BPMN and BPEL with a functional logic programming language

Steffen Mazanek, Michael Hanus

Journal:

Journal of Visual Languages & Computing

Year:

2011

Language:

english

File:

PDF, 1.78 MB

english, 2011

25

Lazy call-by-value evaluation

Braßel, Bernd, Hanus, Michael, Fischer, Sebastian, Huch, Frank, Vidal, Germán

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 307 KB

english, 2007

26

[ACM Press the 11th International Conference - Dresden, Germany (2012.09.26-2012.09.27)] Proceedings of the 11th International Conference on Generative Programming and Component Engineering - GPCE '12 - Xbase

Efftinge, Sven, Eysholdt, Moritz, Köhnlein, Jan, Zarnekow, Sebastian, von Massow, Robert, Hasselbring, Wilhelm, Hanus, Michael

Year:

2012

Language:

english

File:

PDF, 392 KB

english, 2012

27

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Higher-order lazy narrowing calculus: A computation model for a higher-order functional logic language

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 865 KB

english, 1997

28

The role of the glucose-sensing transcription factor carbohydrate-responsive element-binding protein pathway in termite queen fertility

Sillam-Dussès, David, Hanus, Robert, Poulsen, Michael, Roy, Virginie, Favier, Maryline, Vasseur-Cognet, Mireille

Journal:

Year:

2016

Language:

english

File:

PDF, 38.33 MB

english, 2016

29

Self-Affirmation Theory and Performance Feedback: When Scoring High Makes You Feel Low

Velez, John A., Hanus, Michael D.

Journal:

Cyberpsychology Behavior and Social Networking

Year:

2016

Language:

english

File:

PDF, 233 KB

english, 2016

30

Strongly sequential and inductively sequential term rewriting systems

Michael Hanus, Salvador Lucas, Aart Middeldorp

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 776 KB

english, 1998

31

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Needed reductions with context-sensitive rewriting

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.09 MB

english, 1997

32

[ACM Press the 2007 ACM SIGPLAN international conference - Freiburg, Germany (2007.10.01-2007.10.03)] Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming - ICFP '07 - Lazy call-by-value evaluation

Braßel, Bernd, Hanus, Michael, Fischer, Sebastian, Huch, Frank, Vidal, Germán

Year:

2007

Language:

english

File:

PDF, 307 KB

english, 2007

33

EVALUATION OF A MEMBRANE AERATED BIOREACTOR FOR WASTEWATER TREATMENT

Semmens, Michael J., Hanus, Denise, Dahm, Karl

Journal:

Proceedings of the Water Environment Federation

Year:

2000

Language:

english

File:

PDF, 257 KB

english, 2000

34

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Conditional term graph rewriting

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.02 MB

english, 1997

35

[American Society of Agricultural and Biological Engineers 10th International Livestock Environment Symposium (ILES X) - ()] 10th International Livestock Environment Symposium (ILES X) - Effect of dairy cows cooling on milk production in Slovakian lowlands

Broucek, Jan, Ryba, Stefan, Dianova, Marta, Uhrincat, Michael, Soch, Miloslav, Hanus, Anton, Zabransky, Lubos

Year:

2018

Language:

english

File:

PDF, 97 KB

english, 2018

36

[Lecture Notes in Computer Science] Applications of Declarative Programming and Knowledge Management Volume 3392 || A Local Search System for Solving Constraint Problems of Declarative Graph-Based Global Constraints

Seipel, Dietmar, Hanus, Michael, Geske, Ulrich, Bartenstein, Oskar

Year:

2005

Language:

english

File:

PDF, 165 KB

english, 2005

37

Secretory Outposts for the Local Processing of Membrane Cargo in Neuronal Dendrites

Cyril Hanus, Michael D. Ehlers

Journal:

Year:

2008

Language:

english

File:

PDF, 750 KB

english, 2008

38

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Lazy narrowing with parametric order sorted types

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1017 KB

english, 1997

39

Preface: Volume 64

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 40 KB

english, 2002

40

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - A needed narrowing strategy

Antoy, Sergio, Echahed, Rachid, Hanus, Michael

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

41

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Higher-order equational unification via explicit substitutions

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 852 KB

english, 1997

42

Specialization of functional logic programs based on needed narrowing

ALPUENTE, MARÍA, LUCAS, SALVADOR, VIDAL, GERMÁN, HANUS, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 256 KB

english, 2005

43

A needed narrowing strategy

Antoy, Sergio, Echahed, Rachid, Hanus, Michael

Journal:

Journal of the ACM

Year:

2000

Language:

english

File:

PDF, 328 KB

english, 2000

44

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Termination of algebraic type systems: The syntactic approach

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 1.26 MB

english, 1997

45

Transforming Boolean equalities into constraints

Sergio Antoy,Michael Hanus

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 698 KB

english, 2017

46

An Operational Semantics for Declarative Multi-Paradigm Languages

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 1.22 MB

english, 2002

47

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || Explicit substitutions for the λΔ-calculus

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 852 KB

english, 1997

48

Degradation of ROMP-based bio-renewable polymers by UV radiation

Cui, Hongyu, Hanus, Riley, Kessler, Michael R.

Journal:

Polymer Degradation and Stability

Year:

2013

Language:

english

File:

PDF, 2.09 MB

english, 2013

49

Inhibition of Multiple Pathogenic Pathways by Histone Deacetylase Inhibitor SAHA in a Corneal Alkali-Burn Injury Model

Li, Xinyu, Zhou, Qinbo, Hanus, Jakub, Anderson, Chastain, Zhang, Hongmei, Dellinger, Michael, Brekken, Rolf, Wang, Shusheng

Journal:

Molecular Pharmaceutics

Year:

2013

Language:

english

File:

PDF, 1.68 MB

english, 2013

50

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 1298 || A left-linear variant of λσ

Hanus, Michael, Heering, Jan, Meinke, Karl

Year:

1997

Language:

english

File:

PDF, 986 KB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски